1

Regulatory-based development processes for software security in nuclear safety systems

Année:
2010
Langue:
english
Fichier:
PDF, 1.58 MB
english, 2010
4

Defining a test coverage criterion for model-level testing of FBD programs

Année:
2013
Langue:
english
Fichier:
PDF, 1.68 MB
english, 2013
5

Anatomy of safety-critical computing problems

Année:
1995
Langue:
english
Fichier:
PDF, 986 KB
english, 1995
7

Frame-based safety analysis approach for decision-based errors

Année:
1997
Langue:
english
Fichier:
PDF, 1.00 MB
english, 1997
9

BBN-based software project risk management

Année:
2004
Langue:
english
Fichier:
PDF, 580 KB
english, 2004
12

Validation test case generation based on safety analysis ontology

Année:
2012
Langue:
english
Fichier:
PDF, 2.66 MB
english, 2012
13

Systematic scenario test case generation for nuclear safety systems

Année:
2013
Langue:
english
Fichier:
PDF, 2.19 MB
english, 2013
14

An Agent-based National Radioactive Waste Management Framework design

Année:
2010
Langue:
english
Fichier:
PDF, 2.01 MB
english, 2010
15

Scenario analysis of false indication in computer-control systems

Année:
2013
Langue:
english
Fichier:
PDF, 1.03 MB
english, 2013
16

Empirical analysis of software-induced failure events in the nuclear industry

Année:
2013
Langue:
english
Fichier:
PDF, 1.72 MB
english, 2013
19

Automatic test case generation for structural testing of function block diagrams

Année:
2014
Langue:
english
Fichier:
PDF, 3.64 MB
english, 2014